361. Software Engineering and Formal Methods
Author: \ Radu Calinescu , Bernhard Rumpe (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرمافزار -- مهندسی-- کنگره‌ها
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
362. Software Engineering and Formal Methods
Author: \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
363. Software Engineering for Resilient Systems
Author: \ Alessandro Fantechi , Patrizio Pelliccione (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Computer software -- Reliability -- Congresses.,Computer software -- Reliability.,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- اطمینان‌پذیری -- کنگره ها ,نرمافزار -- اطمینان‌پذیری
Classification :
QA
76
.
758
.
S62
2015
E-Book
,
364. Spatial Information Theory
Author: \ [editde by] Sara Irina Fabrikant...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science,کامپیوتر,a04,a04,Geographic information systems -- Congresses.,Database management.,سیستم‌های اطلاعات جغرافیایی -- کنگره‌ها ,پایگاه‌‌های اطلاعاتی -- مدیریت
Classification :
G
70
.
212
.
S6
2015
E-Book
,
365. Spatio-Temporal Image Analysis for Longitudinal and Time-Series Image Data
Author: \ [Edited by] Stanley Durrleman...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Diagnostic imaging -- Data processing -- Congresses.,Computer vision -- Congresses.,Image processing -- Digital techniques -- Congresses.,تشخیص تصویری -- داده پردازی -- کنگره ها,بینایی ماشین -- کنگره ها ,عکس‌پردازی -- روش‌های رقمی -- کنگره‌ها
Classification :
RC
78
.
7
.
D35S62
2015
E-Book
,
366. Speech and Computer
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses,Database management -- Congresses,Information storage and retrieval systems -- Congresses,علوم کامپیوتر -- کنگره‌ها,پایگاه‌‌های اطلاعاتی -- مدیریت -- کنگره‌ها,ذخیره و بازیابی اطلاعات -- کنگره‌ها
Classification :
E-Book
,
367. Sports Engineering and Computer Science
Author: \ Editor Qi Luo
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Sports sciences -- Congresses.,Physical education and training -- Congresses.,ورزش علمی -- کنگره ها ,تربیت بدنی -- کنگره‌ها
Classification :
GV
557
.
5
.
S662
2015
E-Book
,
368. Supercomputing
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Supercomputers -- Congresses,High performance computing -- Congresses,Computer Hardware,داده‌پردازی با بازدهی عالی -- کنگره‌ها,س‍خ‍ت‌اف‍زاررای‍ان‍ه
Classification :
E-Book
,
369. Supercomputing
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Supercomputers -- Congresses,High performance computing -- Congresses,High performance computing,داده‌پردازی با بازدهی عالی -- کنگره‌ها,داده‌پردازی با بازدهی عالی
Classification :
E-Book
,
370. Systems and Computer Technology
Author: \ Edited by Yunfei Chen...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Congresses.,Information technology -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,تکنولوژی اطلاعات -- کنگره‌ها
Classification :
QA
75
.
5
.
S9
2015
E-Book
,
371. Systems and frameworks for computational morphology
Author: \ Cerstin Mahlow, Michael Piotrowski (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Grammar, Comparative and general -- Morphology -- Data processing -- Congresses.,Computational linguistics -- Congresses.,Computational linguistics.,دستور زبان تطبیقی -- صرف -- داده‌پردازی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره‌ها ,زبان‌شناسی کامپیوتری
Classification :
P
241
.
S9
2015
E-Book
,
372. Tasks and Methods in Applied Artificial Intelligence
Author: \ Angel Pasqual del Pobil, Jos6 Mira, Moonis Ali (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Artificial intelligence -- Congresses.,Artificial intelligence -- Industrial applications -- Congresses.,هوش مصنوعی-- کنگره‌ها,هوش مصنوعی -- کاربردهای صنعتی -- کنگره‌ها
Classification :
E-Book
,
373. Technology-Enabled Innovation for Democracy, Government and Governance
Author: \ [Edited by] Andrea Ko...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Internet in public administration -- Congresses,Political participation -- Technological innovations -- Congresses.,اینترنت در مدیریت دولتی -- کنگره‌ها ,مشارکت سیاسی -- نوآوری -- کنگره ها
Classification :
E-Book
,
374. Technology in Education
Author: \ [Edited by] Kam Cheong Li...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Educational technology -- Congresses.,Educational innovations -- Congresses.,Computers and Education,تکنولوژی آموزشی -- کنگره‌ها,آموزش و پرورش -- نوآوری -- کنگره ها
Classification :
LB
1028
.
3
.
T4
2015
E-Book
,
375. Tests and Proofs
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Testing -- Congresses,Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,نرمافزار -- آزمایش -- کنگره‌ها,نرمافزار -- راستی‌آزمایی -- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره‌ها
Classification :
E-Book
,
376. Text, Speech, and Dialogue
Author: \ Pavel Kral, Vaclav Matousek (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Natural language processig (computer science),Speech processing systems,پردازش زبان طبیعی,گفتارپردازی, -- Congresses, -- کنگره‌ها,a03,a05,a03,a05
Classification :
QA
76
.
9
.
N38
T8
2015
E-Book
,
377. Text, Speech, and Dialogue
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Natural language processing (Computer science) -- Congresses,Speech processing systems -- Congresses,Text processing (Computer science) -- Congresses,پردازش زبان طبیعی -- کنگره‌ها,گفتارپردازی -- کنگره‌ها,متن‌پردازی -- کنگره‌ها
Classification :
E-Book
,
378. Text, Speech, and Dialogue
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Natural language processing (Computer science) -- Congresses,Speech processing systems -- Congresses,Text processing (Computer science) -- Congresses,پردازش زبان طبیعی -- کنگره‌ها,گفتارپردازی -- کنگره‌ها,متن‌پردازی -- کنگره‌ها
Classification :
E-Book
,
379. Text, Speech, and Dialogue
Author: \ [Edited by] Petr Sojka...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Natural language processing (Computer science) -- Congresses.,Speech processing systems -- Congresses.,پردازش زبان طبیعی -- کنگره‌ها ,گفتارپردازی -- کنگره ها
Classification :
E-Book
,
380. Text, Speech, and Dialogue
Author: \ Ivan Habernal, Václav Matoušek (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Natural language processing (Computer science) -- Congresses.,Speech processing systems -- Congresses.,پردازش زبان طبیعی -- کنگره‌ها,گفتارپردازی -- کنگره ها
Classification :
E-Book
,
